Modifying travis config.