use GNU make on sauna, which is the primary development environment