Index: editors/ckeditor.inc
===================================================================
--- editors/ckeditor.inc	(revision 1255)
+++ editors/ckeditor.inc	(working copy)
@@ -17,7 +17,9 @@
     'libraries' => array(
       '' => array(
	 'title' => 'Default',
-        'files' => array('ckeditor.js'),
+        'files' => array(
+          'ckeditor.js' => array('preprocess' => FALSE),
+        ),
       ),
       'src' => array(
	 'title' => 'Source',