Ubuntu13.10で Call to undefined function idn_to_ascii() が出た

PHPで idn_to_ascii() と idn_to_utf8() という関数を使うと、日本語ドメイン名をASCII形式に変換したり、戻したりできます。
http://www.php.net/manual/ja/function.idn-to-ascii.php
http://www.php.net/manual/ja/function.idn-to-utf8.php

Ubuntu13.10上で使おうとしたら "Call to undefined function idn_to_ascii()" が出たので、その対応です。PHPは5.5系でした。

$ sudo apt-get install php5-intl

ちなみにWin(と言うかXAMPP)の場合は "/xampp/php/" にある "icu**.dl" 一式を "/xampp/apache/bin/" にコピーしてあげると上手くいきました。
http://stackoverflow.com/questions/1451468/intl-extension-installing-php-intl-dll

(MacユーザなんですがMacでの対応方法はまだ調べていない。。。そもそも日本語ドメイン名の必要性がよくわからない。)