> Any suggestions? I would double check that you are indeed using the freshly built corresponding native. Maybe your native installation didn't work as expected and your building from an older compiler. That's the most likely explanation.
Alternatively, there have been changes recently in the libada and ada Makefiles by Paolo Bonzini that might be related. Arno
