Chromium patch, fixes missing header

addresses #3839