Fix running tests locally.
Merge pull request #32 from klee-web/fix_local_tests

Fix running tests locally.