ninja-merge: added GPL header