Delete ex01.aux