TravisCI hack that I hope fixes the 0.8 builds