This is needed if the header is to be free-standing.
Signed-off-by: NVegard Nossum <vegard.nossum@gmail.com>