Linus Torvalds says GPL was defining factor in Linux’s success