Fixing minor Linux build error left over from DL's debugging.