#442 MacOS uses the other timestamp names (try to fix build bug)