fixes required by RPython