Fixing .so file path bug in add_builtins.