Version number and GPL header