Update binex.cc