[PATCH] buildman: Correct overwriting of settings file