What you should do, is to fix the PoS and the checkpoint both, and set the 124000 for a random value (and dont tell it before the release).
Thats important, because if you only fix that hardcoded checkpoint, someone can stream out his alone mined version of blockchain, in case if he built his own client before.
You cannot use a random value ...
The best would be indeed for the dev to
1) remove the checkpoint from the code
2) find itself the next block
3) add the checkpoint for this new block on the code
4) distribute the new version
But not much time was given for someone to generate manyblocks, so it should be ok ... We will see if the chain size increases by a number of blocks or not
