protodroid: removed sgx build from top-level Makefile