jenkins 1.512

Closes #19352.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
gmp: remove bottle.

Closes #18944.
Closes #19179.