Add support for differences between PHP and ISO for timezone names