Added yet another missing header file for non-pch build