fix yet another missing include on GCC 4.7