GrapheneOS lost a key security engineer