PHP configure command fix