I may be wrong, but are you sure you should have that final "contrib/" in this line?
> kaufmann@sloth:~$ export SBCL_HOME="/projects/acl2/lisps/sbcl/sbcl-1.1.11-x86-64-linux/contrib/"

Stig Hemmer