--- a/src/tpm_mgmt/tpm_nvread.c 2015-06-07 13:00:30.250314575 +0000 +++ b/src/tpm_mgmt/tpm_nvread.c 2015-06-07 12:54:45.590302275 +0000 @@ -23,6 +23,7 @@ #include #include #include +#include #include "tpm_nvcommon.h" #include "tpm_tspi.h"