Got rid of Leksah-specific files