Fix jenkins build scripts