Add missing header file needed for commit 099cd1ab9189.