jskov:todo And not just that - also a description of what caused the error and how to fix it / work around it.
This bug has moved to http://bugs.ecos.sourceware.org/show_bug.cgi?id>23220