remove shared .k generation in maude backend