fix SKIP_ACE incompatibility in RunCheckpoints (thanks Anne van Rossum)