Cheap trick to fix TRAVIS maybe?