now that we set up the PATH, we don't need to hint that gm4 is in /usr/local/bin. Fixed in cooperation with marc@