update fzn-shell