Please backport. The 1.8 version in Dapper has a very annoying bug. See https://launchpad.net/bugs/45198 -- Kile 1.9.1 https://launchpad.net/bugs/56256