Delete ltl-support.k~