It seems like the included install.sh is not compatible with the latest debian etch package manager. And libgmp3 ist no longer available in etch.
"Package libgmp3 is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source
However the following packages replace it:
libgmp3c2 libgmpxx3 libgmp3-doc" |