More fixes to Travis files ...