added GPL to header