Travis configuration tweaks