removing unneeded files from automaton library