various. fix for xsb 64 bit