Included an extra header to avoid a cross-platform issue