/lang/php53/scripts/

• ../
• configure.php
• php5_options