- added php patch (fixes build with php >= 5.4)