This fixes the build problem on HPUX reported recently by Dave Anglin 
(PR/2097). Thanks to Dave for debugging the problem :)

I'll check this in in a few days unless I hear objections.

randolph