Removes incompatibilities with the version of PHP available on Kubuntu 12.04.