Update to 0.12 for miscellaneous bug fixes.
Also, this release finally gets rid of the ancient ftime() interface and
uses clock_gettime() instead.

Approved by: maintainer timeout (8 weeks)