Work around for DateTime::ISO8601 PHP bug