Dockerfiles used for SigProC machines