Add missing include

Fixes compilation with GCC 4.9. Practically the include should have been there already anyways, but libstdc++ 4.9 seperated includes better which makes this issue evident.