Fixed extension for generateStrategoCore