Include checkpoint macro by default, and adapt examples