Fix for travis config