Found out why jenkins was freaking out: two source...

# kobalt

[cedric]

Found out why jenkins was freaking out: two source files were accidentally being gitignored, so it worked fine locally but failed if cloned from scratch