Clean up inst_info.php.