Remove Jenkins build status a la #2474