After having spent a considerable part of the Christmas trying to install the GPIO library I finally just found the answer. As I have noticed there are numerous others with the same problem, "no module with this name", so I thought I'd write a little notice about it. There seems to be as many ideas ...