Umbennung des Linux-Shellscripts für Splint