(Clone Detection) Fixed a bug when linking a shared object with builtins.so