Index: lib/python/ctypes/Makefile
===================================================================
--- lib/python/ctypes/Makefile	(revisión: 42673)
+++ lib/python/ctypes/Makefile	(copia de trabajo)
@@ -39,7 +39,7 @@
 vector_HDRS     = vector.h vect/dig_structs.h vect/dig_defines.h
 display_HDRS    = display.h
 stats_HDRS      = stats.h
-dbmi_HDRS       = dbmi.h
+dbmi_HDRS       = dbmi.h dbstubs.h proto_dbmi.h
 g3d_HDRS        = G3d.h
 arraystats_HDRS = arraystats.h
 cluster_HDRS    = cluster.h
@@ -96,3 +96,4 @@
 	$(MKDIR) $@
 
 .SECONDARY: $(patsubst %,%.py,$(MODULES))
+