Incorrect path being passed to filemtime in ckeditor_profile_settings_compile()

Line 776 of ckeditor.lib.inc

$ckeditor_config_path = $module_drupal_path . "/ckeditor.config.js?" . @filemtime($module_drupal_path . "/ckeditor.config.js");

Should be

$ckeditor_config_path = $module_drupal_path . "/ckeditor.config.js?" . @filemtime($module_drupal_local_path . "/ckeditor.config.js");

or filemtime() fails