[BUGFIX] Don’t do greedy merges in extension scanner