Wouldn't it be better to just edit the gitian yml to not set it until after configure?