About boost 1.33.1 and -enable-stdlib-debug

[Jean-Marc Lasgouttes]

This also seems to be relevant to some of our problems. Lars?
http://sourceforge.net/tracker/index.php?func=detail&aid=1391875&group_id=7586&atid=107586

JMarc