Change run-docker.sh to not run `make` first