Thanks for providing this! I'm changing jobs soon and will be using codesys on Linux for my next round of development.