- Fix build with gcc 4.2 - pet portlint PR: 117648 (based on) Submitted by: Pietro Cerutti <gahr@gahr.ch>