Update make_opam_package_list.bash