Actually removed binary files

Git is hard