Release version of VanillaICE