Use gmake if make is not GNU make
Merge branch 'support-gmake'