add 4ti2-1.3.1+autoconf-0.1 banner