first run make, and then make dist.
otherwise there was a problem with missing cpu-amd64.h