Fixing mistake about OTFHyper-bin