DrupalPageBreak Button and Smart Paging Module

My issue results from here:
[D7] Remove unnecessary Drupal Page Break button if there is no module to support this feature (https://drupal.org/node/1331728)

Im using the "Smart Paging" Module (https://drupal.org/project/smart_paging) and can't activate the Drupalpagebreak button in CKEditor due to:

//remove page break button if there is no module to do this
if (isset($arr['drupalbreaks']['buttons']['DrupalPageBreak']) && !module_exists('paging') && !module_exists('pagebreak')) {
unset($arr['drupalbreaks']['buttons']['DrupalPageBreak']);
}

In modules/ckeditor/includes/ckeditor.lib.inc | lines 534-537

The drupalpagebreak-button is being deactivated when neither Module "Paging" nor Module "Pagebreak" is active.
Since there are other modules using this button as well, i'd suggest changing this piece of code.