Add missing drupal-header file.