Paolo Bonzini wrote: >> Uh, do we build with -Wcast-qual? There's nothing to get this warning >> shut up unfortunately. > > Using a const_cast? Thanks a lot for reminding us this! Paolo.