Copy 64-bit binaries side-by-side for the 'bin' directory (at least for now).
32-bit binaries still have the canonical name (e.g. 'mono' 'mono64' for the runtime)