changing the build option would have other effects, it would means gnome-panel would be less robust to bugs in those components, some softwares seem to be working so that's not the only issue there
changing the build option would have other effects, it would means gnome-panel would be less robust to bugs in those components, some softwares seem to be working so that's not the only issue there