add GPL headers