hello_gpio.py: fix python example