Welp, that's silly. I have day7_Jehu labelled as day7_jehu, even though every single other label (at least, as far as I'm aware) has the name capitalized. I'll re-upload the versions to fix this as soon as they get done compiling!
