update: LibreOffice 4.2 now comes as a 64 bit version for the Mac