> But as I said, AFAIK it should not be necessary. So I think what
> you're seeing is a symptom of a problem elsewhere and the patch
> above is just a workaround.

I had an Emacs executable from trunk 2013-06-05 in my path. Using a
newer one solved the issue.