Actually this problem should be fixed in main--patch-24. The segfault is caused by an attempt to close a closed file in hypertex. Steve Wilson and Bob McElrath cornered the problem and fixed it. You should be able to cd axiom--main--1--patch-23 tla update export AXIOM=`pwd`/mnt/solaris9 export PATH=$AXIOM/bin:$PATH make and it should not need to rebuild the world. Of course, it never hurts to build cleanly. Let me know if you get it to work. Ok, I updated and rebuilt (only what needed to be rebuilt). The result is that I have hypertex, which appears to work. At least I can run the "hypertex" command, and I can browse, and the graphics work. (The mouse seems to be over-accelerated, but that's a detail.) However, (1) I can't get hypertex to connect to the Axiom server. I get: (HyperDoc) Warning: Not connected to AXIOM Server! I have AXIOM and PATH set correctly. (2) If I run "axiom -ht -go" I get (I've done "set -x" at the top of the axiom script) ... + exec /home/build/axiom--main--1--patch-23/mnt/sol9gcc/bin/sman -ht -ws /home/build/axiom--main--1--patch-23/mnt/sol9gcc/bin/AXIOMsys fork_Axiom: Failed to reopen server: No such file or directory clef trying to get the initial terminal settings: Invalid argument (3) The command "sman -debug -noclef -nonag -noht" still dumps core: bash-2.05$ sman -debug -noclef -nonag -noht sman -noclef -gr -nonag -noht -noiw -ihere -ihere -ws '$AXIOM/bin/AXIOMsys' -grprog '$AXIOM/lib/viewman' -nagprog '$AXIOM/lib/nagman' -htprog '$AXIOM/bin/hypertex -s' -clefprog '' -sessionprog '$AXIOM/lib/session' -clientprog '$AXIOM/lib/spadclient' -rm Segmentation Fault (core dumped) bash-2.05$