Fix for --disable-xdr