diff --git a/bin/run-ci.sh b/bin/run-ci.sh
index 740c180e5..5ef39bd40 100755
--- a/bin/run-ci.sh
+++ b/bin/run-ci.sh
@@ -95,7 +95,7 @@ ghc_prime_O0 () {
 # XXX avoid rebuilding if nothing has changed in the source
 # XXX run hlint only on changed files
 lint () {
-  packcheck cabal \
+  packcheck.sh cabal \
     HLINT_OPTIONS="lint --cpp-include=src --cpp-include=test"  \
     HLINT_TARGETS="src test benchmark"
 }