Bug#1020915: FTBFS

[matthias . geiger1024]

 Hi,

I just did a quick rebuild of 0.13.5. To me it looks like the bug is fixed as I 
can't reproduce it. 

Cheers

Matthias