Index: Makefile.in
==================================================================
--- Makefile.in
+++ Makefile.in
@@ -59,10 +59,11 @@
 
 # Clean the local build directory for rebuild against the same configuration
 clean:
 	rm -f tls.o tlsBIO.o tlsIO.o tlsX509.o
 	rm -f tcltls.@SHOBJEXT@
+	rm -f tcltls.@SHOBJEXT@.a tcltls.@SHOBJEXT@.def
 	rm -f tcltls.a.new tcltls.a
 	rm -f tls.tcl.h.new.1 tls.tcl.h.new.2
 	@if [ '@srcdir@' != '.' ]; then echo rm -f tls.tcl.h; rm -f tls.tcl.h; fi
 
 # Clean the local build directory back to what it was after unpacking the