/etc/profile.d/linux-base-sgx.sh