run_tests.pl: ./a.out and output redirection