tools/smaz: work around a bugbox in GNAT 6.2