adding auxiliary files