prove that DirTree.mkfile also does not need BFILE.reset
prove that DirTree.mkfile also does not need BFILE.reset

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl