Fix up python3 detection