my modifications to xdx to get it running on debian 64 bit