hopefully fix jenkins build