Make sure that a specific Drupal Extension is used