Work-around (attempt) for a bug in GNAT-4.6.