Modifying mkpkg_32to64