Fix Segmentation problem on 64 bit machine. Thanks nisimura@
for advice.
Correction and switch to 4_13 archive. Logically the same.