Fix source encoding for python3 compatibility