Hopefully fixing travis builds