make solaris gcc in 32 bit mode properly print pid