have a look at the section "BUGS" of the manual and at
http://taktuk.gforge.inria.fr/Bugs.txt
