Include a header to permit building on Linux