use a more generic python3 version