Python script, ASCII text executable, with CRLF line terminators