Add support for win32-x64 ABI

This means some hardcoding, but the building part
seems to wok. I don't know if the changes to the
actually work, that would require actual testing :-)