From: Adrian Robert <[email-masked]>
Date: Sun, 31 May 2009 12:37:12 +0700

A patch for this is now available:

http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3174