Build of Ubuntu 12.04 with PHP 5.5.16 from .deb packages