Temporary Travis patch

You don't have to merge this, it's just a helper for anyone who needs to build.