petris-solver Dockerfile takes very long to build