Explicitly remove preprocessed files instead of using "git clean" while executing "make clean"
Merge pull request #457 from jpdeplaix/master

Explicitly remove preprocessed files instead of using "git clean" while ...