my hacks to ctags. Originals are from debian source packages