chore(build): bugfixes to build scripts on Jenkins.