[checkmk-commits] Check_MK Git: check_mk: FIX: more robust deletion of precompiled files to ensure the correct creation of the files (Thanks to Guido Günther)