AWS/gnatcoll updated in rawhide