redo: also symlink binary