Document dependency on GNU make, which previously was official but