Tests: running run_tests.py with proper python. (master)