unarchive 3735
This bug is DEFINITELY not fixed.
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3735