worked on ls-defs, and renamed its extension