Use bugfixed version of tulib.