For now, is there a setting I can put in

pants.ini

to work around this? e.g. "store the tool cache over there ↪️"