Liblattice updated