diff --git a/test/cbmc/proofs/DNS_ParseDNSReply/Makefile.json b/test/cbmc/proofs/DNS_ParseDNSReply/Configurations.json
similarity index 100%
rename from test/cbmc/proofs/DNS_ParseDNSReply/Makefile.json
rename to test/cbmc/proofs/DNS_ParseDNSReply/Configurations.json
diff --git a/test/cbmc/proofs/DNS_ParseDNSReply/DNS_ParseDNSReply_harness.c b/test/cbmc/proofs/DNS_ParseDNSReply/DNS_ParseDNSReply_harness.c
index 9432b9277..13ee9a8ef 100644
--- a/test/cbmc/proofs/DNS_ParseDNSReply/DNS_ParseDNSReply_harness.c
+++ b/test/cbmc/proofs/DNS_ParseDNSReply/DNS_ParseDNSReply_harness.c
@@ -17,7 +17,7 @@
 #include "IPTraceMacroDefaults.h"
 
 #include "cbmc.h"
-#include "../../../utility/memory_assignments.c"
+#include "../../utility/memory_assignments.c"
 
 /****************************************************************
 * Signature of function under test