fix yet another missing include on GCC 4.7 (again)