patch should apply to devel module, not drupal