Fix 32/64-bit error in ext2_file_write; before, the top 32-bits of
the return value was getting chopped off.