config internal cedet