I upgraded magic in Docker for OpenLane using these steps: 1 

cd openlane/docker_build

2 open 

docker/magic/Dockerfile

 and change the 

ARG MAGIC_COMMIT=e4bebffeb49fde401e8f531a01feb4c3ef6eb9db

 line to the the revision you want to install 3 

make build-magic

4 

make merge

However, running OpenLane, it still shows Magic 8.3.145. If I run Docker manually and check, it shows a newer version. What am I missing?