Fixing various issues related to installation of PHP modules on Ubuntu 14.04.