On 04/16/2013 11:13 AM, Tor Lillqvist wrote: >> which to me looks like a broken libstdc++. > > Hopefully was fixed by 84aea518f0dc9836350c47bff21780a5999f4968 . Yes, build is proceeding meanwhile. Thanks. Stephan