Make Rubinius happy