Re: [PATCH] fix broken extra_bins when installing multiple binaries