Not nice: casting away constancy :-(
I'll fix IsNewerFileTree() so that we can get rid of this cast later.