Use more Travis defaults