update systzdata patch from debian -- r10: make timezone case insensitive