Improve compatibility with GNAT GPL.