Try to make Jenkins happier