/proc/version に gcc バージョンが表示されますが、バイナリが見つかりません。

私たちの大学にはLinuxコンピュータはありません。湾岸協力協議会つまり、gccコマンドプロンプトに入力すると、次のようになります。/bin/sh: gcc: not found

見つからず、次の結果が表示されますwhereis。locate

/lib/libgcc_s.so.1
/usr/lib/libgccpp.so.1
/usr/lib/libgccpp.so.1.0.2
/usr/lib/vmware-tools/lib32/libgcc_s.so.1
/usr/lib/vmware-tools/lib32/libgcc_s.so.1/libgcc_s.so.1
/usr/lib/vmware-tools/lib64/libgcc_s.so.1
/usr/lib/vmware-tools/lib64/libgcc_s.so.1/libgcc_s.so.1
/usr/share/doc/gcc-4.2-base
/usr/share/doc/gcc-4.2-base/changelog.Debian.gz
/usr/share/doc/gcc-4.2-base/copyright
/usr/share/doc/gcc-4.2-base/README.Debian.gz
/usr/share/doc/gcc-4.2-base/TODO.Debian
/usr/share/doc/libgcc1
/usr/share/lintian/overrides/libgcc1
/usr/share/mysql/mysql-test/r/gcc296.result
/usr/share/mysql/mysql-test/t/gcc296.test
/var/lib/dpkg/info/gcc-4.2-base.list
/var/lib/dpkg/info/gcc-4.2-base.md5sums
/var/lib/dpkg/info/gcc-4.2-base.postinst
/var/lib/dpkg/info/libgcc1.list
/var/lib/dpkg/info/libgcc1.md5sums
/var/lib/dpkg/info/libgcc1.postinst
/var/lib/dpkg/info/libgcc1.postrm
/var/lib/dpkg/info/libgcc1.shlibs
/var/www/skins/gcc

しかし、問題は、入力すると次のような結果がcat /proc/version出ることです。

Linux バージョン 2.6.22-14-サーバー (buildd@palmer) (gcc バージョン 4.1.3 20070929 (プレリリース) (Ubuntu 4.1.2-16ubuntu2)) #1 SMP Sun Oct 14 23:34:23 GMT 2007

cat /proc/version存在するというのになぜ存在しないのでしょうか？