> > No, introducing all these extra/almost duplicated files is not OK, you'd > > need to find a way to share the existing files instead, thanks. > > I am not familiar with Ada. Can you recommend how to fix it? Can you send a diff between the *-linux files and your new files? This should help giving some options. Arno