refs #8381. Missing header file.