[repo] unset executable bit on all files
[make] adapt makefile for a Debian target