fix mkpkg_32to64