An auto-update framework for frozen Python applications