check in a copy of dbfi
gobf: support buffered stdout