diff --git a/.travis.sh b/.travis.sh
index 88b63dc2..7ef541b3 100755
--- a/.travis.sh
+++ b/.travis.sh
@@ -78,6 +78,8 @@ if [[ ( "$DOCKER_IMAGE" == "arm64v8//ubuntu:bionic" || "$DOCKER_IMAGE" == "arm64
     sed -i 's/h7/ape/' irteus/test/test-cad.l
     sed -i 's/(hanoi-program (length \*disks\*))/(subseq (hanoi-program (length \*disks\*)) 0 2)/' irteus/demo/hanoi-arm.l
     sed -i 's/^\s*footstep-list/(subseq footstep-list 0 3)/' irteus/demo/walk-motion.l
+    # human-model is not created as of 2023/10/11
+    sed -i '/human-robot/ s/^;*/;/' eus/models/irt-all-robots.l
 fi
 set +x # disable debug information