[m-rev.] for post-commit review: report unqualified types in .int files

[Dirk Ziegemeyer]

> Am 10.10.2020 um 09:45 schrieb Dirk Ziegemeyer <dirk at ziegemeyer.de>:
> 
> 
> Is this any known issue? I never used the install option „--disable-most-grades“ before. (on Mac OS Catalina 10.15.7)

PS:
The aborting installation of the rotd-2020-10-09 is independent of the installation option „--disable-most-grades“.