Add ShowExtensions Pragma