Can now deploy OpenCOR on Linux (#120).