unarchive 3735

This bug is DEFINITELY not fixed. 

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