hawkey python3 port