diff --git a/src/backend/ready_queue.cc b/src/backend/ready_queue.cc
index 5bc6682..58c9630 100644
--- a/src/backend/ready_queue.cc
+++ b/src/backend/ready_queue.cc
@@ -24,6 +24,7 @@
 #include <sgpemv2/ready_queue.hh>
 
 using sgpem::ReadyQueue;
+using sgpem::Thread;
 
 void
 ReadyQueue::swap(position a, position b)
diff --git a/src/backend/sgpemv2/user_interrupt_exception.hh b/src/backend/sgpemv2/user_interrupt_exception.hh
index 7d15a8d..a0f2007 100644
--- a/src/backend/sgpemv2/user_interrupt_exception.hh
+++ b/src/backend/sgpemv2/user_interrupt_exception.hh
@@ -37,7 +37,6 @@ namespace sgpem
   class SG_DLLEXPORT UserInterruptException : public CPUPolicyException
   {
   public:
-    explicit UserInterruptException(const char* msg = "");
     explicit UserInterruptException(const std::string& msg = "");
   };
 } //~ namespace sgpem
diff --git a/src/backend/user_interrupt_exception.cc b/src/backend/user_interrupt_exception.cc
index 4b526c3..8a28bf1 100644
--- a/src/backend/user_interrupt_exception.cc
+++ b/src/backend/user_interrupt_exception.cc
@@ -25,10 +25,6 @@
 #include <sgpemv2/user_interrupt_exception.hh>
 using namespace sgpem;
 
-UserInterruptException::UserInterruptException(const char* msg)
-    : CPUPolicyException(msg)
-{}
-
 UserInterruptException::UserInterruptException(const std::string& msg)
     : CPUPolicyException(msg)
 {}