Travis-CI config tweaks