fix typo
change value used to indicate that symbols are not marked
modify extractor so that users can specify additional local names