Micropython for esp32c3, not loading import machine

I have downloaded the generic esp32c3 micropython.

installed it.
I am using thonny
I install micropython-machine

when I try to import machine I get “import ffi not found”

When I try to just use “gpio4” I get other problems

In detail, How to install micropython with machine workin for the esp32c3?