tweaks for test.sh on CI