* gcc_update (touch_files): Don't rely on "make" being GNU make;