Fix bugs in cscope export