Index: trunk/psconfig/psconfig.csh.in
===================================================================
--- trunk/psconfig/psconfig.csh.in	(revision 16162)
+++ trunk/psconfig/psconfig.csh.in	(revision 16202)
@@ -172,4 +172,6 @@
  case RedHat:
    setenv ARCH linrh;
+   set mach=`uname -m`
+   if ("$mach" == "x86_64") setenv ARCH rhlin64
    breaksw;