fix build error (for some compilers) due to missing include