Added note about restarting virtual box for mavericks