• Migrate to deSEALed version of CORAL (roksconfig plugin).
  • Follow config changes to support 64-bits platforms.