configure on SGI IRIX patch by (Michel Bardiaux <mbardiaux at peaktime dot be>)