extra definitions file