removed kodkod and prob temp files