For manual compiling and uploading you can use py make_flash.py sketch_knight.c py pico-programmer.py sketch_knight_flash.v COM4