diff --git a/META b/META
index fc9605d7..30e06fbb 100644
--- a/META
+++ b/META
@@ -3,5 +3,6 @@ version="dev"
 description="MSAT is a modular SAT solver, plus extensions"
 requires="num unix"
 archive(byte) = "msat.cma"
+archive(byte, plugin) = "msat.cma"
 archive(native) = "msat.cmxa"
 archive(native, plugin) = "msat.cmxs"
diff --git a/Makefile b/Makefile
index 3b3b63d0..105c3721 100644
--- a/Makefile
+++ b/Makefile
@@ -21,7 +21,7 @@ doc:
 clean:
 	$(COMP) -clean
 
-TO_INSTALL=META $(addprefix _build/,$(LIB))
+TO_INSTALL=META $(addprefix _build/,$(LIB) $(NAME).a $(NAME).cmi)
 
 install: all
 	ocamlfind install msat $(TO_INSTALL)