Thanks for the reply, auto3000. I was away with my family over christmas so it took me awhile to try that out. Unfortunately I've run into some problems with your port. As per your installation instruction I've first tried to install the RPi.GPIO package via apt-get, but that package isn't contained...