This reverts commit 83e0b913. However, it is not make clean is executed, but the make distclean.
Attach a file by drag & drop or click to upload
