[DF-2787] fix pointer size for 64 bit system