Как я могу исправить свой собственный демон gnome-settings?

Я хочу изменить только один номер здесь https://gitlab.gnome.org/GNOME/gnome-settings-daemon/blob/master/plugins/media-keys/gsd-media-keys-manager. c # L118

Каков наилучший способ установить для себя gnome-settings-daemon? Нужно ли для этого настроить собственный ppa? Если да, то как?

Я на Ubuntu 18.04.2 LTS и использую Gnome.

(Основная проблема заключается в https://bugzilla.gnome.org/show_bug.cgi?id=650371 . Грустная история, но я должен адаптироваться к ситуации)