default to python3 whenever possible