fixed the wrong binary for linux