Some work on deploying the Linux version of OpenCOR (#120).