@Martin: the memory leak you describe is a different issue, which I can confirm, and for which I reported bug #577540.
@Martin: the memory leak you describe is a different issue, which I can confirm, and for which I reported bug #577540.