diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d51a4833fc5e0545a966958aa7e8771568442f99..973395977ce617ff48fe90c7944b72211fff8735 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,4 +1,5 @@
 before_script:
+  - ls -F
   - apt-get update -qq && apt-get install -y wget bzip2 git make gcc gcc-multilib
   - wget -nv https://common-lisp.net/project/cmucl/downloads/snapshots/2017/04/cmucl-2017-04-x86-linux.tar.bz2
   - wget -nv https://common-lisp.net/project/cmucl/downloads/snapshots/2017/04/cmucl-2017-04-x86-linux.extra.tar.bz2
@@ -10,7 +11,7 @@ test:
   script:
     - echo $SHELL
     - PS1='\w \$ '
-    - which time
+    - type -all time
     - cd cmucl
     - bin/build.sh -B boot-2017-04-1 -C "" -o ../snapshot/bin/lisp
     - bin/make-dist.sh -I dist-linux linux-4