Delete koszulity.aux