Bugfixes for prog-mode and cedet