Fixed typos in php/5.3.nix