Removed BigRedButton binary.