Fixed the tests (may still not run in our project folder).