We set a bunch of options under nailgun in pants.ini