Rubinius version: 4.7

Release date: Dec. 2, 2019