adjust Travis configuration