WIP tweaks in travis.yml