Bump libgnat to 9.