CHANGE: batch launchers only installed on WIN32