Implemented get_current_time() for MacOSX