i installed the latest esp-idf 5.5. I also tried 5.1. It seems to be missing the esp32-s3-box-lite stuff, but I want to target the esp32-s3-box-3. I can't figure out ...