Server Migration Tool scripts do not have .ps1 version

for i in `ls jboss-eap-7.1/bin/ | grep '.sh' | sed "s/\.sh/\.ps1/g"`; do ls jboss-eap-7.1/bin/$i; done
jboss-eap-7.1/bin/add-user.ps1
jboss-eap-7.1/bin/appclient.ps1
jboss-eap-7.1/bin/domain.ps1
jboss-eap-7.1/bin/elytron-tool.ps1
jboss-eap-7.1/bin/jboss-cli.ps1
ls: cannot access 'jboss-eap-7.1/bin/jboss-server-migration.ps1': No such file or directory
jboss-eap-7.1/bin/jconsole.ps1
jboss-eap-7.1/bin/jdr.ps1
jboss-eap-7.1/bin/standalone.ps1
jboss-eap-7.1/bin/vault.ps1
jboss-eap-7.1/bin/wsconsume.ps1
jboss-eap-7.1/bin/wsprovide.ps1