Some system's make utilities may have trouble with gated's Makefiles.
If you experience trouble on your system use GNU make.  GNU make has been
tested to work for building gated.

Be aware that the Makefiles use "MAKE=make" so if you are
trying to use GNU make it should either be the default make or you'll
need to remove the MAKE=make line from the Makefile.template.
