Travis file can be cut down a bit more