(yet further) fixes to travis script.