I found a tool named upx can significantly reduce executable binary size. How to install and use?