Minor Fixes

Dear All,

  If you updated from the pre-release branch prior to 6:00 pm July 10, then you may want to update again. I've made some minor fixes that fix some Linux and Solaris build problems.

  Thanks.

-- John T.