minor (PatternLibrary) : rename files