Auxiliary files.