What option are you referring to in pants.ini?