This file marks the pattern sgx_devel to be installed.
