Aaah... finally!! I've been having issues compiling C in VSCode for a week, the Linux terminal keeps giving me errors whenever I try to fix my GCC install - well, the problem must not have been with GCC, but with VSCode itself, because I tried using a different IDE and it worked immediately. I wish I didn't waste an entire week on that, though, lololol