make --with-selinux work with libtcc, too