we don't want this option allowed by default
we don't want this option allowed by default

natgla/csmith,natgla/csmith,jacekburys/csmith,Panos90/csmith,natgla/csmith,Panos90/csmith,jacekburys/csmith,Panos90/csmith,jacekburys/csmith,DmitryOlshansky/dsmith,jacekburys/csmith,DmitryOlshansky/dsmith,DmitryOlshansky/dsmith,jacekburys/csmith,natgla/csmith,DmitryOlshansky/dsmith,Panos90/csmith