[PATCH v1] fix vmwgfx compilation error due to a missing include