Genode requires a static description of an API provided by a package. As generating ALIs during compilation does not fit Genode's build system well, we check in the ALI files and use them from a dedicated port. They are also purged from architecture specific compiler flags and should be CPU architecture agnostic.
The ALI files are stripped from all compiler flags and timestamps. This can be done with a single command:
$ sed -i "/A .*$/d;s/[0-9]\{14\}/00000000000000/g" <file.ali>