fix php configure options