Fix #300: files are inappropriately marked executable