This file contains invalid unicode (0x80+0x00). Seems to make trouble with Python. € # eof.