ilog: relicense to Public Domain.