Fix deprecated use of has_extension
Merge pull request #1165 from robert-h-curry/has_extension-deprecation-fix

Fix deprecated use of has_extension