Realized that we use GNU make extensions. Boo, unfortunately very useful. Added a note about that.