A gcc 3.0 bug is triggered by our code. Add a section about it in PROBLEMS.