Workaround for bad Linux headers.