FIX: a Curl crash problem which may happen in 64 bit