Recompiled SGX modules in release mode