Updated ctrl_git script so it correctly handles special chars in filenames.