Fix jenkins build script