Another travis yml tweak