diff --git a/Makefile.am b/Makefile.am
index ab9b1f830..fd7dbd2b1 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -81,8 +81,9 @@ VEX_PUBLIC_HDRS = \
 # These list the bits of vex we need to copy into the tarball
 
 VEX_PRIMARY_SOURCES = \
-	VEX/README \
-	VEX/COPYING \
+	VEX/HACKING.README \
+	VEX/LICENSE.README \
+	VEX/LICENSE.GPL \
 	VEX/Makefile \
 	VEX/auxprogs/genoffsets.c \
 	VEX/pub/libvex_guest_amd64.h \