port wres to 64-bit