fix broken jenkins build