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

version 2.13.12