changed from ubuntu to debian in order to make the docker image slimmer