> If you want it in your system environment, you may be out of luck That was silly of me; since all you need is the compiled executable, you can just move it t

> If you want it in your system environment, you may be out of luck That was silly of me; since all you need is the compiled executable, you can just move it to an appropriate place (that doesn't interfere with the system package manager; so, /usr/local/bin, or /opt/bin) after user installation.