Add, finally, the good binary.