Yet another build script (Jenkins adaptation).