xfce4-whiskermenu-plugin: the xfce4-panel binary is in ${xfce4panel.out}