Hopefully fixing travis for real