PHP ./configure options not set

Fixes Issue #1070
This is a quick fix, and is not the most elegant