Rename migration file back from 0025 => 0013.
(cherry picked from commit 5fd914dd38083bda308c0a99f8458a485955743e)