add -keep_checks flag