Even more fixes to Travis config. Seventh time lucky!