Make build work with Bazel 0.25.0 (#2634)
Make build work with Bazel 0.25.0 (#2634)

Fixes #2632
netsec-ethz/scion,netsec-ethz/scion,Oncilla/scion,netsec-ethz/scion,Oncilla/scion,netsec-ethz/scion,Oncilla/scion,Oncilla/scion