run_tests, .gitignore: change binary name