use my patched version of nxhtml