tools: teach objdump about FILE aux records