x86_64: rbs_extension.so
