A shady workaround for Travis CI. Not sure if this is a good idea.