switch to lucius theme, fix ctags path