[bug_correction] search scope

Because of the new definition of library, i changed the name of the file