some auxiliary files