python tools to work with files in BXT5 format