diff --git a/Makefile.am b/Makefile.am
index 39bbfb7..c0651d3 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -135,7 +135,7 @@ BUILT_SOURCES += frontends/LexRain.hs
 # For dummy modules:
 modules_DATA = 
 # For dummy lib files:
-tockinc_DATA = occamutl.tock.inc occamutl.tock.h
+tockinc_DATA = occamutl.tock.inc occamutl.tock.h occamutl.tock.sizes
 
 CLEANFILES = $(BUILT_SOURCES) $(config_sources)
 
diff --git a/occamutl.tock.sizes b/occamutl.tock.sizes
new file mode 100644
index 0000000..e69de29