The header is not private to the library: it is used by elsewhere.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>