added Copying and GPL headers