make cedet on linux fast