Added new BinaryFileInputStream::mk helper
use BinaryFileInputStream::mk for BinaryFileInputStream::eBuffered