port wres io API to 64-bit host