 After I followed the steps in README.md on ubuntu-16.04_3 OS, I got a binary and run it. Unfortunately, I got a segmentation fault.