fixes .travis filename