[checkmk-commits] Improved filename mangling.