Minor improvements in the sources 

The first commit removes a generated file and the second remove some useless permissions on files