make: fix benchmarks not working on different ports (regression of 3fe13f2619)
make: fix benchmarks not working on different ports (regression of 3fe13f2619)

scalaris-team/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,jvf/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,jvf/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,jvf/scalaris,jvf/scalaris,jvf/scalaris,scalaris-team/scalaris,jvf/scalaris,jvf/scalaris