Log Message:
Fixed the build on IRIX, which had been broken since about one year,
when the build on Solaris had been fixed, "not affecting other
platforms". ;)