Use the more portable mtime() calls in libstd.
Doing the api rename shuffle.

    libstd changed. Match it.