Fix tools/tests/run.py to correctly build the test executables.