Not easy, but we could pluck the number out with more `sed` magic. But we only use `DEIS_LAST_ROUTER` to create the sequence of router names, which is then only used on `make start-routers`, where I think it is appropriate.