updates platon and check.def