I thought I had installed maxima sucessfully from the etch (testing) distribution, but typing "maxima" from an xterm gave: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory Can this be fixed by downloading libgmp.deb (or similar name) and typing dpkg --install libgmp.deb or is something more subtle needed?