Revert to previous version of binarize.cpp as the change should not have any effect. Discussed with Feiran. Reversion to previous linux binary will follow
Revert to old linux binary