FIXED: Encoding now specified in getversion.py