CiviCRM Error crashes if enabled via drush

Using drush 3.0, you get a full crash if you try to enable civicrm_error:

Fatal error: Class 'CRM_Core_BAO_Setting' not found in /home/production/sites/demdata_v2/mach2-module-update-1/sites/all/modules/civicrm_error/civicrm_error.install on line 49

Call Stack:
    0.0006     177752   1. {main}() /home/production/sites/demdata_v2/drush/drush.php:0
    0.0128    2368632   2. drush_main() /home/production/sites/demdata_v2/drush/drush.php:40
    0.6695   39929392   3. drush_dispatch() /home/production/sites/demdata_v2/drush/drush.php:90
    0.6696   39933512   4. call_user_func_array() /home/production/sites/demdata_v2/drush/includes/drush.inc:51
    0.6696   39934288   5. drush_command() /home/production/sites/demdata_v2/drush/includes/drush.inc:0
    0.6697   39935856   6. call_user_func_array() /home/production/sites/demdata_v2/drush/includes/command.inc:381
    0.6697   39936216   7. drush_invoke() /home/production/sites/demdata_v2/drush/includes/command.inc:0
    0.6702   39954632   8. call_user_func_array() /home/production/sites/demdata_v2/drush/includes/command.inc:330
    0.6702   39955408   9. drush_pm_enable() /home/production/sites/demdata_v2/drush/includes/command.inc:0
    1.5753   41137328  10. drush_module_enable() /home/production/sites/demdata_v2/drush/commands/pm/pm.drush.inc:410
    1.5780   41206648  11. module_enable() /home/production/sites/demdata_v2/drush/commands/core/drupal/environment_6.inc:90
    1.5932   41276520  12. module_invoke() /home/production/sites/demdata_v2/mach2-module-update-1/includes/module.inc:318
    1.5932   41277840  13. call_user_func_array() /home/production/sites/demdata_v2/mach2-module-update-1/includes/module.inc:462
    1.5932   41278448  14. civicrm_error_enable() /home/production/sites/demdata_v2/mach2-module-update-1/includes/module.inc:0
    1.5932   41278560  15. civicrm_error_config() /home/production/sites/demdata_v2/mach2-module-update-1/sites/all/modules/civicrm_error/civicrm_error.install:13

Drush command could not be completed.                                                                    [error]

This is easy to fix (just load Setting.php), and I enclose a patch.