Hey guys. So I have successfully installed the Developer tools and I can use the "phalcon" command in the Windows command prompt. I have one table on my database and tried to run "phalcon migration generate". The problem is: the command prompt only outputs the DevTools version and then does nothing after that. It generates no migrations or anything. Any ideas on what might be the problem?