.make-and-exec-binaries