Try to make Jenkins happy