Fix for travis.ymk