Obsolete now that there's a python implementation of strptime in the

standard lib.