fixup! AVIDump: get rid of more old stuff