Fixed bug #7264: Generating extension import list takes very long (credits Michiel...