On 15/05/2008, at 16.37, martin brinkmann wrote: > sorry for any inconvenience. For my part; I enjoy that this issue shows that version numbers on lib/externals make great sense. Sadly it's a rare phenomenon.