RM 4074, 4940, 5110: fixups for Solaris, HP-UX and MS-Win 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.