Temporary Travis patch