Fix warnings for other gnat versions