Fix incorrect port directory for php5