added missing c++11 headers (could not compile with gcc-4.8)