CEGUI isn't maintained by the games team. The best we can do is ping the maintainer, who was last active 19 Jan 2011. Try sending him a mail directly about this issue. He is also active on twitter, if you have an account try contacting him there: http://twitter.com/muammar -- bye, pabs http://wiki.debian.org/PaulWise