Hopefully fixed travis file?