diff --git a/docs/CONTRIBUTORS b/docs/CONTRIBUTORS
index 6089a5eaa..a80d950b9 100644
--- a/docs/CONTRIBUTORS
+++ b/docs/CONTRIBUTORS
@@ -116,6 +116,7 @@ Unai Martinez-Corral
 Vassilis Papaefstathiou
 Veripool API Bot
 Victor Besyakov
+William D. Jones
 Wilson Snyder
 Xi Zhang
 Yoda Lee
diff --git a/src/V3File.h b/src/V3File.h
index 6c45a0456..6a4ded0de 100644
--- a/src/V3File.h
+++ b/src/V3File.h
@@ -28,6 +28,7 @@
 #include <list>
 #include <vector>
 #include <fstream>
+#include <memory>
 
 //============================================================================
 // V3File: Create streams, recording dependency information