kile: minor update
TEMP: just debugging flags