Chromium patch, fixes missing header