no native compilation
corrected products, products from pullbacks