Some more changes to the Travis file.