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