Another attempt to override Travis defaults