GCC 4.5 compatibility: cannot default explicit constructor in class body.