Fix cedet configure
FIX profix key problem