Protect against older version of CEDET