Use DL when linearising Waldmeister theories
Always rewrite files