fixing default auxilliary file name