Fix SYSINFO_MHz on Mac OS X