Update the `ide_compat.php` file