Ticket #2127: updated file extension for "sh"