(tools/naptr-eduroam.sh): Use /bin/sh rather than bash.