CodeSourcery compilation engine does not show this "bug". After re-checking I found out that the installation directory contained left-overs from older updates of the CVS. I removed the old stuff and re-installed. It now works much better. Sorry for the inconvenience. Michael