you mean replace that file's contents with this, too?