fix ctags install on debian