More tweaks to Travit CI config.