I'm actually using the binaries from debian packages, so i don't know. Nevertheless, which patch should be applicated? I presume that the Debian Developer which made the package will read this...
Thanks a lot!
Oscar.
PS: By the way, the cpp translator has a very minor bug (very, very). When the system username has a 'dot' on it (like oscar.acena), the header has a wrong comment, i.e. if file test.ice is /home/oscar.acena/test/test.ice, this happens:
// Generated from file `/home/oscar.acena/test/test.ice' -> what should say
// Generated from file `/home/oscar.ice' -> what really says
It's a minor thing, but here it is ;-)