I am planning on running the game on my mac, but the timer suggested in the rules seems to be windows only. Is it alright if I submit times with real-time, or is there another way to record with portal time?