Build of Ubuntu 12.04 with PHP 5.5.15 from .deb packages