Update install-and-use-gnu-command-line-tools-in-mac-os-x