Use another implementation of strftime