Add mkdir /opt to install_homebrew-mavericks, since it may not exist