Hmm. Looks like etk_ctl is GPIO13. Sorry about that. I'll have to revisit that script.