MR !50 : fix linux installed version in batch