Fixed filename for travis.