build script: fix "sudo: unable to resolve host debian"