Take out sgx extension