On debian, install libgtk-3-dev xfce4-panel-dev
