Fix filename for special character "+" which is not allowed

[matthiasbeyer]

Aaaaand another one. Because we do not handle "+" in file names properly.