[PATCH v5 08/16] buildman: Update the default settings file