Phalcon DevTools Version: 4.0.0/4.0.1 not work

I have folders with migrations db └── migrations └── 1.0.0 ├── comments.php └── posts.php



use Phalcon\Config;

return new Config([
    'database' => [
        'adapter' => 'mysql',
        'host' => '127.0.0.1',
        'username' => 'root',
        'password' => 'root',
        'dbname' => 'phalcon',
        'charset' => 'utf8',
    ],
    'application' => [
        'logInDb' => true,
        'migrationsDir' => 'db/migrations',
        'migrationsTsBased' => true, // true - Use TIMESTAMP as version name, false - use versions
        'exportDataFromTables' => [
            // Tables names
            // Attention! It will export data every new migration
        ],
    ],
]);```

try
➜  phalcon phalcon migration run --version=1.0.0

Phalcon DevTools (4.0.1)

ERROR: Wrong version number provided

### Details
Phalcon DevTools (4.0.1)

Environment:
  OS: Linux homestead 4.15.0-91-generic #92-Ubuntu SMP Fri Feb 28 11:09:48 UTC 2020 x86_64
  PHP Version: 7.2.29-1+ubuntu18.04.1+deb.sury.org+1
  PHP SAPI: cli
  PHP Bin: /usr/bin/php7.2
  PHP Extension Dir: /usr/lib/php/20170718
  PHP Bin Dir: /usr/bin
  Loaded PHP config: /etc/php/7.2/cli/php.ini
Versions:
  Phalcon DevTools Version: 4.0.1
  Phalcon Version: 4.0.4
  AdminLTE Version: 2.3.6

phalcon / phalcon-devtools

Phalcon DevTools Version: 4.0.0/4.0.1 not work #1443