You are using an out of date browser. It may not display this or other websites correctly.
You should upgrade or use an
alternative browser.
-
V
create /etc/profile with the line
. ~/.bashrc
and any other global shell stuff for all users (like path info)
I had no problem compiling.
Jonathan