Dockerfile checkouts out commit 88cf606 from https://github.com/klkvr/solidity, but this can get outdated as development happens in https://github.com/ipsilon/solidity/tree/eof-cleaned, so it might be better to checkout eof-cleaned branch instead.
If having a fixed commit is desired, would still be better to point to ipsilon's repo.