ckeditor.config.js not loaded on profile configuration pages

I have set up

//Toolbar definition for basic buttons
Drupal.settings.cke_toolbar_DrupalBasic = [ 
  ['Bold','Italic'],
  ['Link','Unlink'],
  ['BulletedList','NumberedList'],
  ['Blockquote','Image'],
  ['Source']
];

//Toolbar definition for Advanced buttons
Drupal.settings.cke_toolbar_DrupalAdvanced = [
  ['Bold','Italic','Strike','Superscript','Subscript','-','RemoveFormat'],
  ['Link','Unlink'],
  ['BulletedList','NumberedList'],
  ['Blockquote','Image','Table','HorizontalRule'],
  ['Format'],
  ['ShowBlocks','Source']
];

in theme ckeditor.config.js. But the ckeditor.config.js is not loaded from theme on the profile settings pages. Than if I use the EDITOR APPEARANCE setting to switch the editor types the default ckeditor profiles are used. This makes the setting useless.