Added auxiliary files