It's a Debian Linux server, and I cannot get root. I guess it wouldn't be too hard to find x86 Linux binaries of gcc. Thanks for the links.