mappedframebuffer.h: add missing include