Fix compilation under GCC 4.7 on Ubuntu.
Fix compilation under GCC 4.7 on Ubuntu.

seec-team/seec,mheinsen/seec,seec-team/seec,mheinsen/seec,mheinsen/seec,mheinsen/seec,seec-team/seec,seec-team/seec,seec-team/seec,mheinsen/seec