Merge tag 'v2.13.11' into develop

v2.13.11
fix lua curl install and duplicate sources.list entries
prepare version v2.13.12
Merge branch 'release/v2.13.12'