Changes to gen_quadexts.sage