Add python3 alias