merged 866a6d399e0ec2a0604c3d64e372f827a87ec843 with conflicts in core/binary.mk