This file marks the pattern intel_sgx_devel to be installed.
