Travis file should work now. But is it the right contents?