Delete mistakenly added binary.
Add DESTDIR support for libstd