Adding GPL license header.