changes to main.cpp and checkpoints.cpp