Change line to fix compilation issue in older g++.