I don't think this is known, thank you for reporting! Could you please open a ticket at https://github.com/pantsbuild/setup