Fix error in SGX_MODULES build

Change-Id: I97b14950627cf1fc1cdff1a01ee8ba6698629d90