use python3 explicitly