Tweak EvpnPrefix::BuildProtoPrefix to make it work on CentOS

Change-Id: Ibffa3facd9e2cc3e5dd1c1018d345312279ef1d8