Add back a RUN line removed by mistake by a previous commit