RM 4074, 4940: fixups for Solaris and HP-UX in strftime.

This just hacks the format string forwarded to strftime by the
implementation of the strftime in policy language; no change to
strftime() as called by C.