Fix compilation error in old ubuntu machines.