Update inst_info.php.