binary renamed according to eclipse standards