pre-compiled microcoin for linux