keep track of all extensions to correctly define $EBEXTSLIST in module