Rename only the binary on Linux

Refine #137