Scripts used on CI server (jenkins)