diff --git a/.ci/after_success.sh b/.ci/after_success.sh
index 049eb8290..304b2311c 100755
--- a/.ci/after_success.sh
+++ b/.ci/after_success.sh
@@ -10,11 +10,11 @@ if [ -z "${CIRCLE_PULL_REQUEST}" ] && [ "${CIRCLE_BRANCH}" = 'master' ]; then
     echo "CIRCLE_NODE_INDEX: ${CIRCLE_NODE_INDEX}"
     if [ "${CIRCLE_NODE_INDEX}" = 1 ]; then
         echo -e "\\n${ANSI_GREEN}Running make testfront for timings."
-        make testfront BUSTED_OVERRIDES="--output=junit -Xoutput junit-test-results.xml"
+        make --assume-old=all testfront BUSTED_OVERRIDES="--output=junit -Xoutput junit-test-results.xml"
     fi
 
     if [ "${CIRCLE_NODE_INDEX}" = 0 ]; then
-        travis_retry make coverage
+        travis_retry make --assume-old=all coverage
         pushd install/koreader && {
             # see https://github.com/codecov/example-lua
             bash <(curl -s https://codecov.io/bash)