fix gpl link. fixes #1285