gmake.cmd: feature testing if the make on the path is a GNU make