fix for php configure