Share current version of misc_utilities.  This corresponds to local
repository last change on October 6, 2013.