add generate_opam_update_list to make clean