Use python3 if available