More Travis fixes...