Amend Travis configuration