Let tools use global "delete generated files" option