It is used almost nowhere, so it needn't be auto-included
almost everywhere.
Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>