Make getModificationTime return a hi-resolution time; fixes #7473

We were only getting an integral number of seconds before. This change
only affects non-Windows platforms. Patch from Duncan Coutts.