Removing dbext and adding some cscope stuff