Updating Benders core and gem requirements