diff --git a/doc/version.texi b/doc/version.texi
index aaff48fd..5f3379dd 100644
--- a/doc/version.texi
+++ b/doc/version.texi
@@ -1,4 +1,4 @@
-@set UPDATED 15 February 2017
+@set UPDATED 16 February 2017
 @set UPDATED-MONTH February 2017
 @set EDITION 3.0.0
 @set VERSION 3.0.0
diff --git a/gmp-mparam.h b/gmp-mparam.h
new file mode 120000
index 00000000..a717522f
--- /dev/null
+++ b/gmp-mparam.h
@@ -0,0 +1 @@
+mpn/x86_64/k8/k10/k102/gmp-mparam.h
\ No newline at end of file