Improve set_file_rights.sh