Changed Travis configuration