--- src/net.cpp	2016-05-05 22:11:35.000000000 +0200
+++ net.cpp	2016-09-12 11:56:24.168824685 +0200
@@ -51,7 +51,7 @@
 CAddress addrSeenByPeer(CService("0.0.0.0", 0), nLocalServices);
 static CNode* pnodeLocalHost = NULL;
 uint64 nLocalHostNonce = 0;
-array<int, THREAD_MAX> vnThreadsRunning;
+boost::array<int, THREAD_MAX> vnThreadsRunning;
 static SOCKET hListenSocket = INVALID_SOCKET;
 CAddrMan addrman;