Follow config changes to support 64-bits platforms.