Ah, good point! It never tripped me up for some reason, but I should probably name it hellorld.ini or something, and specify it more explicitly on that command line in the Makefile.
Apologies for the strain this could put on your Subversion server: you've got about 400MB of PDFs in there you...