core: use C++11 <random> instead of Boost.Random

Change-Id: I8f22965b86c681581762a47995f29f888421a558
Refs: #3599
diff --git a/tests/daemon/mgmt/face-manager.t.cpp b/tests/daemon/mgmt/face-manager.t.cpp
index c189894..325b344 100644
--- a/tests/daemon/mgmt/face-manager.t.cpp
+++ b/tests/daemon/mgmt/face-manager.t.cpp
@@ -24,13 +24,13 @@
  */
 
 #include "mgmt/face-manager.hpp"
+#include "core/random.hpp"
 #include "face/tcp-factory.hpp"
 #include "face/udp-factory.hpp"
 
 #include "nfd-manager-common-fixture.hpp"
 #include "../face/dummy-face.hpp"
 
-#include <ndn-cxx/util/random.hpp>
 #include <ndn-cxx/encoding/tlv.hpp>
 #include <ndn-cxx/mgmt/nfd/channel-status.hpp>
 #include <ndn-cxx/mgmt/nfd/face-event-notification.hpp>
@@ -103,7 +103,8 @@
   static typename std::enable_if<std::is_base_of<SimpleCounter, T>::value>::type
   randomizeCounter(const T& counter)
   {
-    const_cast<T&>(counter).set(ndn::random::generateWord64());
+    static std::uniform_int_distribution<typename T::rep> dist;
+    const_cast<T&>(counter).set(dist(getGlobalRng()));
   }
 
 protected: