Remove unneeded binaries.

Please, don't commit binaries into the repository. They blow up the
repository since they are kept in the history even if deleted.