Modified Travis configuration