Try to fix travis using some magic incantation I found on the internets