Remove duplicate DEV_TOOLS_EXTRA, and go with make over gmake for
dependency.