diff --git a/config/rootfiles/core/173/filelists/mpfr b/config/rootfiles/core/173/filelists/mpfr
new file mode 120000
index 000000000..c8468bf42
--- /dev/null
+++ b/config/rootfiles/core/173/filelists/mpfr
@@ -0,0 +1 @@
+../../../common/mpfr
\ No newline at end of file