Remove libtop_preg(), not used