Make Jenkins happy