Some hacks for TAGS
Some colorscheme stuff
GDB bits