specs に -Dfloag=double とでも書かれてたんじゃねーの?
そもそも先輩からもらったバイナリって、わけわかめ。