diff --git a/tests.sh b/tests.sh
index 392227edf..52c060c7a 100755
--- a/tests.sh
+++ b/tests.sh
@@ -9,13 +9,8 @@ PROXY=build/local_prefix/opt/hermit/bin/proxy
 
 #for f in $FILES; do echo "check $f..."; HERMIT_ISLE=qemu HERMIT_CPUS=1 HERMIT_VERBOSE=1 timeout --kill-after=5m 5m $PROXY $f || exit 1; done
 
-pwd
-ls -la build/local_prefix/
-ls -la build/local_prefix/opt/
-ls -la build/local_prefix/opt/hermit/
-ls -la $TDIR
 # test echo server at port 8000
-HERMIT_ISLE=qemu HERMIT_CPUS=1 HERMIT_VERBOSE=1 HERMIT_APP_PORT=8000 $PROXY $TDIR/tests/server &
+HERMIT_ISLE=qemu HERMIT_CPUS=1 HERMIT_KVM=0 HERMIT_VERBOSE=1 HERMIT_APP_PORT=8000 $PROXY $TDIR/tests/server &
 sleep 10
 curl http://127.0.0.1:8000/help
 sleep 1