Use portable way of getting modified time