seems to be an issue with the garbage collector. switching over to the incremental gc seems to have fixed it for me (see also the debian bug at http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=583692)
seems to be an issue with the garbage collector. switching over to the incremental gc seems to have fixed it for me (see also the debian bug at http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 583692)