PS to previous commit: also updated 4ti2 to the latest version