License change from GNU GPL to GNU LGPL.