Added some auxiliary files