added auxiliary files