link ../uppaal-tiga-0.18