bug in ls.dockerfile file, file deleted from ghdl repo

[KryptonPlusPlus]

Eu estava tentando dar build no arquivo ls.dockerfile, porém está dando erro no momento da chamada do script ci-run.sh (linha 14 de ls.dockerfile) do repositório principal ghdl.

Linha de comando para build:

docker build --file ls.dockerfile .

Erro:

RUN mkdir /tmp/ghdl-dist  && mkdir -p /tmp/ghdl && cd /tmp/ghdl  && curl -fsSL https://codeload.github.com/ghdl/ghdl/tar.gz/master | tar xzf - --strip-components=1  && CONFIG_OPTS="--default-pic" ./scripts/ci-run.sh -b llvm-7 -p ghdl-llvm-fPIC build:
2.981 /bin/sh: 1: ./scripts/ci-run.sh: not found

Esse arquivo foi deletado de ghdl na commit ghdl/ghdl@86d4dce.