diff --git a/src/NCollection/NCollection_Shared.hxx b/src/NCollection/NCollection_Shared.hxx
index 78b13aa9ee..6538d919a5 100644
--- a/src/NCollection/NCollection_Shared.hxx
+++ b/src/NCollection/NCollection_Shared.hxx
@@ -16,8 +16,8 @@
 #ifndef NCollection_Shared_HeaderFile
 #define NCollection_Shared_HeaderFile
 
-#include <Standard_Type.hxx>
-  
+#include <NCollection_DefineAlloc.hxx>
+
 //! Template defining a class derived from the specified base class and 
 //! Standard_Transient, and supporting OCCT RTTI.
 //!
diff --git a/src/Standard/Standard_Mutex.hxx b/src/Standard/Standard_Mutex.hxx
index c7d31285f4..d5042cdf7c 100644
--- a/src/Standard/Standard_Mutex.hxx
+++ b/src/Standard/Standard_Mutex.hxx
@@ -155,7 +155,7 @@ public:
 private:
 
   //! Callback method to unlock the mutex if OCC exception or signal is raised
-  virtual void DestroyCallback ();
+  Standard_EXPORT virtual void DestroyCallback() Standard_OVERRIDE;
   
   //! This method should not be called (prohibited).
   Standard_Mutex (const Standard_Mutex &);