Some files didn't have blaan line at end.
Fixed a build issue (still need to fix make install).
Merge branch 'flint-2.4' into trunk