uaargh, my problems with gpio were caused by the fact that I was using ssh and connecting to the wrong board...