added verification of 64-bit architecture via MachDeps.h