ALI files obsoleted by GCC 7.1 (was: x86 and gnat)