php5: version bumped to 5.5.11.

Our php is ancient (museum stuff). This is the last version released.