Add a compiled binary for Leonardo