UPDATE: turning on GPIO pin 13