upgrade pkgs with quelpa