x86_64: base_bigstring.cmxs dllbase_bigstring_stubs.so
