segmentation fault in 64-bit version solved