GCC 4.7

[Bart Bogaerts]

As soon as we have gcc 4.7, please undo all commits that were only done for gcc 4.6 compatibility.

This can be done by git revert <commit>

[Bart Bogaerts]

Dirty commit: compatibility with GCC 4.6

This commit should be undone when gcc 4.7 is installed on the departemental machines. see #318

→ <<cset e210a2a1fc46>>