More robust remote travis.yml (to accomodate the new v4.0 branch)