Fix up xdr for opaques