Gusmao, quase sempre bin = binário. Isso te diz algo ? Tente executar ele diretamente: ./nome-do-arquivo.bin Henrique Mecking.
Ai galera sei que é uma pergunta meio tosca..rsr as sou iniciante em linux.. como faço para instalar um arquivo .bin?