Fixing tests for travis-ci (was just a filename problem)