fix error in jenkins build