diff --git a/arf/mul_rnd_any.c b/arf/mul_rnd_any.c
index c203ad64..bdb01e2e 100644
--- a/arf/mul_rnd_any.c
+++ b/arf/mul_rnd_any.c
@@ -11,16 +11,6 @@
 
 #include "arf.h"
 
-TLS_PREFIX mp_ptr __arf_mul_tmp = NULL;
-TLS_PREFIX slong __arf_mul_alloc = 0;
-
-void _arf_mul_tmp_cleanup(void)
-{
-    flint_free(__arf_mul_tmp);
-    __arf_mul_tmp = NULL;
-    __arf_mul_alloc = 0;
-}
-
 int
 arf_mul_rnd_any(arf_ptr z, arf_srcptr x, arf_srcptr y,
         slong prec, arf_rnd_t rnd)
diff --git a/arf/mul_tmp_cleanup.c b/arf/mul_tmp_cleanup.c
new file mode 100644
index 00000000..e9506d9d
--- /dev/null
+++ b/arf/mul_tmp_cleanup.c
@@ -0,0 +1,22 @@
+/*
+    Copyright (C) 2014 Fredrik Johansson
+
+    This file is part of Arb.
+
+    Arb is free software: you can redistribute it and/or modify it under
+    the terms of the GNU Lesser General Public License (LGPL) as published
+    by the Free Software Foundation; either version 2.1 of the License, or
+    (at your option) any later version.  See <http://www.gnu.org/licenses/>.
+*/
+
+#include "arf.h"
+
+TLS_PREFIX mp_ptr __arf_mul_tmp = NULL;
+TLS_PREFIX slong __arf_mul_alloc = 0;
+
+void _arf_mul_tmp_cleanup(void)
+{
+    flint_free(__arf_mul_tmp);
+    __arf_mul_tmp = NULL;
+    __arf_mul_alloc = 0;
+}