rename executable file;rm some unnecessary deps

lyblsgo

2023-04-21 716e3fe5122bc96bdc40fde71a50e4dc7f49b759

1
2
3
4
5
6
7
8
+    plus
-    minus
/    divided
÷    divided
:    divided
×    times
*    times
·    times