handle strftime() more defensively