Re #9425. Adding gss to the list of known extensions.