tools/grmc.cmd: Using gmake instead of make