fix the docker build

e.g. use libedit there as well