Convert AS from filename correctly (#1534)
Convert AS from filename correctly (#1534)


klausman/scion,netsec-ethz/scion,Oncilla/scion,klausman/scion,klausman/scion,klausman/scion,netsec-ethz/scion,Oncilla/scion,Oncilla/scion,netsec-ethz/scion,klausman/scion,Oncilla/scion,netsec-ethz/scion