use non local-specific time formatting, fixes #1