get_tick_count() implemented for Mac OS X...