Fix incorrect port directory for php5
Merge pull request #1201 from abryzak/patch-1

Fix incorrect port directory for php5