Delete büchi.aux