x86_64: deHTMLxs.so
