fix: tr. #481 (jdemeyer@cage.ugent.be, libsingular on OS X PPC with GCC 4.7.2)