fixes #2913 make clean && make failing

That should help @xaionaro with #2913.