Prefer mktemp over tempnam.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@3068 f499efd5-9937-0410-b36a-d3739c31ded8
misc update

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@3069 f499efd5-9937-0410-b36a-d3739c31ded8
Fix global variable names in Makefiles

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@3070 f499efd5-9937-0410-b36a-d3739c31ded8