Mac-specific version of getmtime (for non-GUSI Python, which needs

different include files)