Not all mingw-w64 toolchains on windows are guaranteed to have make, but
virtually all of them have mingw32-make. MSYS2 UCRT does not provide
make, but does provide mingw32-make. So users who have added UCRT to the
PATH (Not advisable!) but not msys64 will have errors about a missing
make.
VSCode's tasks.json uses mingw32-make anyway, so it's better to stay
consistent with it.