php: bump version to 5.5.1