Preparing for the new command line (flat recursive extraction of symbols
only works for definitions in the same file).