Travis-CI tweaks