Fix tools/run-tests

I should have tested this script before pushing the commit that adds
it ...