Substitute which make we use to GNUMake

Tell us if we should use 'make', 'gmake', or 'gnumake'.

Signed-off-by: Bryan Hundven <bryanhundven@gmail.com>