Converted getprefix.py from UTF-8 to ISO-8859.