Removido binário relax4 e colocado fora do controle de versão.