There is actually no separate license file. I figured it out by looking
at comments of top of source files (e.g. main.cpp). Then, should I
remove the LICENSE line altogether?