To use the docker version do:
alias docker-mcdp-solve='docker run --rm -v ${PWD}:${PWD} -w ${PWD} registry-stage.duckietown.org/andreacensi/mcdp:z6-py38 mcdp-solve'
Then:
docker-mcdp-solve -d ral2020.mcdplib lane_cameras '<1 pixel/steradian, 1 Hz, `timeday: day>'