run_tests.sh and test/bin/tests.sh: fix tests