Minor modification in php lib generated files