fixed travis file, I expect this time to actually work