Fix the encoding of the modules filename.

Reindent also traceback.h, just because I hate tabs :-)