make clean removes sources.txt

This is kinda important in the following scenario

> make clean
<do some work>
> make compile

would still have used the old sources list otherwise!