Possible fix for broken extension loader