RelEx Dockerfile: simplify