fix linux x64 build / mono-d build