update to Mac OS X Mavericks