Re-add the ide_compat.php file