Removing GPL code.
Fixing #792