Install mcrypt as a separate extension

Relying on php5x-mcrypt for mcrypt installation. See issue #442.