Fix import name and rename executable file

sorry, a great bug was involved in the previous pull request. orz
I fix it.