Fix docker.sh to work with non-english locales. (#1091)
Fix docker.sh to work with non-english locales. (#1091)


netsec-ethz/scion,netsec-ethz/scion,FR4NK-W/osourced-scion,dmpiergiacomo/scion,klausman/scion,klausman/scion,netsec-ethz/scion,Oncilla/scion,FR4NK-W/osourced-scion,FR4NK-W/osourced-scion,Oncilla/scion,dmpiergiacomo/scion,dmpiergiacomo/scion,netsec-ethz/scion,klausman/scion,dmpiergiacomo/scion,Oncilla/scion,FR4NK-W/osourced-scion,klausman/scion,dmpiergiacomo/scion,Oncilla/scion,FR4NK-W/osourced-scion,klausman/scion,dmpiergiacomo/scion