バイナリ手動編集

Unisonという（OCamlで開発されて定理証明までされた）ファイル同期ソフト

http://www.cis.upenn.edu/~bcpierce/unison/

のLinuxバイナリが、uname -aがlinuxではなくLinuxを返すマシンがサーバだとチェックに引っかかってしまい、ソースからコンパイルするのも面倒だったのでバイナリを手動で編集しました。こういうことをするのは、ちょっとひさびさ。