Fix for Timezone keys in to_string with PHP TZ chars