pysolv: more python3 adaptions