Mark a few shell scripts executable