Flashing pre-built esp32 binary

Did that a couple of times. Could upload a Hello World like thing without problems through Arduino IDE.
This is the board: