Now with GPL-compatible license for libpatricia/*