Modifying travis config