Hopefully fixing travis setup (again)