Tests: running run_tests.py with proper python.