diff --git a/dom0/restore/.gitignore b/dom0/restore/.gitignore
index 0535ab8a..9804657b 100644
--- a/dom0/restore/.gitignore
+++ b/dom0/restore/.gitignore
@@ -1,3 +1,2 @@
 qubes_restore
-xenfreepages
 xenstore-watch
diff --git a/dom0/restore/xenfreepages.c b/dom0/restore/xenfreepages.c
deleted file mode 100644
index 90d2a514..00000000
--- a/dom0/restore/xenfreepages.c
+++ /dev/null
@@ -1,23 +0,0 @@
-#include <xenctrl.h>
-#include <stdio.h>
-#include <stdlib.h>
-struct xen_sysctl_physinfo xphysinfo;
-main()
-{
-#ifdef XENCTRL_HAS_XC_INTERFACE
-	xc_interface *handle = xc_interface_open(NULL, NULL, 0);
-	if (!handle) {
-#else
-	int handle = xc_interface_open();
-	if (handle == -1) {
-#endif
-		perror("xc_interface_open");
-		exit(1);
-	}
-	if (xc_physinfo(handle, &xphysinfo)) {
-		perror("xc_physinfo");
-		exit(1);
-	}
-	printf("%lld", xphysinfo.free_pages);
-	return 0;
-}