Fix the disassembly build instructions