TESTS: temporary fix to ARM run-all.sh