--- # defaults file for tco.setup