Update Khronos-supplied headers