The svndump file I used last time was corrupt wrt binary files.
Since fixing that required some ugly commits I decided to
reinitialize the whole repo with a fresh dump file and re-apply the
patches I made. I guess those who have already checked out the svn
repo need to do it again shortly. Sorry for the inconvenience.
V_/_ PGP Key ID: FF8135CE