Tweak ctags header output