Make the code build on Linux with gcc 4.3.2. (Noticed by Markus Dahms.)
Authored by: debug 2009-01-14
Parent: [r5387]
Child: [r5389]