[fixed] compiling in g++ >= 4.7