Problem setting up SGX domain