- fixed mgmt_server not passed correctly in all *-bench make targets
- fixed mgmt_server not passed correctly in all *-bench make targets
tectronics/scalaris,seyyed/scalaris,digshock/scalaris,tectronics/scalaris,tectronics/scalaris,digshock/scalaris,tectronics/scalaris,digshock/scalaris,tectronics/scalaris,digshock/scalaris,seyyed/scalaris,seyyed/scalaris,seyyed/scalaris,digshock/scalaris,digshock/scalaris,seyyed/scalaris,seyyed/scalaris,digshock/scalaris,tectronics/scalaris,tectronics/scalaris,seyyed/scalaris