fix 4ti2 configure problem under ubuntu 12.04