[PD] sc4pd binary for intel ?