fix jenkins build problems