Merge branch 'iacobelli-master-patch-67644' into 'master'

Update Dockerfile compiled -DPORTABLE=True

See merge request !4
1 job for master in 43 minutes and 52 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #103466
docker-build-master

00:43:52