removed kodkod temp files