declare encoding otherwise python chokes