Use python3 in shebang as per PEP 394