WYIL: bug fix for reading Binary Wyil files.