Update proteus-shell