Fix incorrect file extension for disassembler