Overriding patchFlags in buildLinux

Hi! While this is not a direct answer to your question, I believe that for SGX, you should be able to use either my patch or the one that has been recently merged upstream.