Description of Problem: The mempolt2.inl and mempoolt.inl files lock the scheduler rather than just locking a mutex. I know of no reason why this should be the case. A mutex should be adequate.
This bug has moved to http://bugs.ecos.sourceware.org/show_bug.cgi?id=60194