bring back the gpl3 header