refs #7228 fixed strange error with kernel header