Next try; fixing Travis failures