@Zanna without more details on what they were compiling, I'd guess that there's a configuration file called machine_cfg.py which they provided details in, hence their answer
@Seth here's one election rule that you all should agree with: think about what really matters, the most important things. get beyond personality/taste.
Are you confident that you got this flash drive from a reputable source? I once had a Corsair flash drive that turned out to be a cheap knock-off. It claimed to be 32 GB when I plugged it in but was actually only 10 GB or so and threw all sorts of errors.