Migrate to de
SEAL
ed version of CORAL (roksconfig plugin).
Follow config changes to support 64-bits platforms.