Undo the rename of LICENSE_1_0.txt - every header file points to LICENSE_1_0.txt,
not LICENSE.txt