See on how to reproduce these binaries.