further Travis configuration tweaking