Correct setup.py and run_tests.py for test cases