Work-around for a bug in GNAT-4.6.