Invalid Symbol: SGX, BPF