diff --git a/src/shared/tools.h b/src/shared/tools.h
index e7f5783c2..f8c1c887b 100644
--- a/src/shared/tools.h
+++ b/src/shared/tools.h
@@ -3,6 +3,8 @@
 #ifndef _TOOLS_H
 #define _TOOLS_H
 
+#include <new> // for the placement forms of operator new/delete
+
 #ifdef NULL
 #undef NULL
 #endif
@@ -64,10 +66,6 @@ static inline int popcount(uint n)
 
 void *operator new(size_t, bool);
 void *operator new[](size_t, bool);
-inline void *operator new(size_t, void *p) { return p; }
-inline void *operator new[](size_t, void *p) { return p; }
-inline void operator delete(void *, void *) {}
-inline void operator delete[](void *, void *) {}
 
 #ifdef swap
 #undef swap