bugfix for strftime