Most possible a more simple installing process is working well. Download the latest version of micropython in hex format, https://micropython.org/resources/firmware/NUCLEO_F401RE-20220618-v1.19.1.hex . Connect the board with the PC, the board will popup as a drive, works for me on Linux and Windows, and copy the hex file to board. After a few minutes micropython can be reached with Thonny, or even a simple terminal program.