debian/Dockerfile: fix typo