use simple batch file for bootstrapping relx on Windows