tla on debian

I needed to use tla add-tag *.el instead of tla add *.el.