Workaround broken headers.