Update ASMifier.txt