I downloaded gsl-shell-2.3.1.tar.gz. I checked all the libraries. Fox was not installed, and I installed it. I am still getting exactly the same error, though. The OS is a pristine Ubuntu 13.10, with just a few languages installed via synaptic. At least I hope the problem will be reproducible.