Emilio Donoso from the masking incubator noticed that .setup_dev.sh is not executable, which may confuse. Should we set 'x'-bit when we create the file?