How do I run the binary?On Debian, the binary is called safe_launcher. If you type safe-launcher, it currently doesn't do anything. We will try to fix this in the next release. See this forum post for more details.