fix jenkins build script