While pretty much all (GNU/)Linux distributions have `make`, it is not present under Windows, which is the vast majority of our user base...