Add extra header for msvc2012 (should be present in msvc2013)