the new migration management in c8856f107d319dbdf04164a520e8fd8c33ffc240 left out the part where we actually keep the system's current MIGRATIONID... it was being lost when setup/start.sh was re-run