glibc strftime and ISO 8601 time formats