Accidentally deleted some binaries