Make files non executable

There is not much sense in having these files marked executable, we should avoid that.