bump migration file number (following 813877606d853b3a8e59204e581b492d4f213ec9)