Simpler Travis file