add a test to 4ti2 configure script