Update travis script to (hopefully) work