Fix compilation with g++.