tools/grmc: behaviour now exactly like tools/grmc.cmd